Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
161	Foundations of XML Types: Tree Automata Pierre Genevès CNRS (slides mostly based on slides by W. Martens and T. Schwentick) University of Grenoble Alpes, 2015–2016 Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-12-15 06:39:05 Formal languages Tree automaton Binary tree Tree Regular tree grammar Parity Alphabet Arity Even
162	Preliminary Results from the Free Linguistic Environment Project Abstract We present ongoing work related to the Free Linguistic Environment (FLE) project, a grammar engineering platform for Lexical Add to Reading List Source URL: nlp.ipipan.waw.pl Language: English - Date: 2016-07-16 06:55:54 Formal languages Compiler construction Natural language parsing Parsing Linguistics SYNTAX Earley parser Chart parser Foma Formal grammar Lexical analysis Stochastic context-free grammar
163	Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-07-30 17:51:06 Operations research Compiler construction Formal languages Machine learning Dependency grammar Natural language parsing LL parser Integer programming Parsing Linear programming Context-free grammar Conditional random field
164	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen? and Stefano Zacchiroli? Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-28 04:59:48 Model theory Formal languages Mathematical logic Symbol Interpretation Structure Substitution Golden ratio base
165	Proceedings of Formal Grammar 2004 Gerhard J¨ ager, Paola Monachesi, Gerald Penn and Shuly Wintner Add to Reading List Source URL: cavar.me Language: English Syntax Dependency grammar Natural language parsing Formal languages Grammar Valency Context-free grammar Homography
166	Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting — Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-09-07 15:06:52 Logic in computer science Logic programming Automated theorem proving Formal languages Type theory Substitution Unification Admissible rule Futures and promises Rewrite order Rewriting Symbol
167	Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2016-07-28 16:53:46 Model theory Logic in computer science Semantics Formal languages Logical truth Satisfiability modulo theories Interpretation Quantifier elimination True quantified Boolean formula Quantifier Substitution Well-formed formula
168	Reflections on Courses for Software Language Engineering Anya Helene Bagge1 , Ralf Lämmel2 , and Vadim Zaytsev3 Bergen Language Design Laboratory, University of Bergen, Norway Software Languages Team, University of Kobl Add to Reading List Source URL: models2014.webs.upv.es Language: English - Date: 2014-09-22 10:28:27 Compiler construction Formal languages Parsing Programming language implementation Parser generators Syntax Compiler LR parser Scannerless parsing XPL PLY Model-driven engineering
169	The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-07-11 15:25:07 Functional languages Lisp Automated theorem proving Theoretical computer science Procedural programming languages ACL2 Nqthm J Strother Moore ACL Common Lisp Formal methods Automated reasoning
170	Regular Expressions and Finite-State Automata Overview Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-01-06 12:55:41 Formal languages Finite automata Finite-state transducer Regular language Finite-state machine Regular expression Deterministic automaton Alphabet Induction of regular languages Star height

UPDATE